募捐 9月15日2024 – 10月1日2024 关于筹款
1
Semantics of Programming Languages and Model Theory

Semantics of Programming Languages and Model Theory

Manfred Droste, Yuri Gurevich
年:
1993
语言:
english
文件:
PDF, 12.13 MB
0 / 0
english, 1993
3
Semantics of Programming Languages and Model Theory

Semantics of Programming Languages and Model Theory

Manfred Droste, Yuri Gurevich
年:
1993
语言:
english
文件:
DJVU, 5.26 MB
0 / 0
english, 1993
8
The Classical Decision Problem

The Classical Decision Problem

Egon Börger, Erich Gradel, Yuri Gurevich
年:
1997
语言:
english
文件:
DJVU, 5.98 MB
0 / 0
english, 1997
9
The classical decision problem

The classical decision problem

Grädel, Erich, Gurevich, Yuri, Börger, Egon
年:
1997
语言:
english
文件:
DJVU, 4.69 MB
0 / 0
english, 1997
10
Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Egon Börger, Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
年:
2000
语言:
english
文件:
PDF, 3.75 MB
0 / 0
english, 2000